gswin32c -dNOPAUSE -dBATCH -sDEVICE=epswrite -sOutputFile=a.eps